External rectus muscle